1361. Temporal logic of programs
پدیدآورنده: / Fred Kroger
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
1362. The Agent Modeling Language--AML
پدیدآورنده: / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
1363. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
1364. The C answer book :
پدیدآورنده: Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
1365. The Language of computer programming in English
پدیدآورنده: Keegel, John C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
1366. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
1367. The MBASIC handbook
پدیدآورنده: Ettlin, Walter A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، BASIC )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
B3E88
1983
1368. The Munich Project CIP
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، CIP-L )Computer program language(,، CIP-S )Computer system(
رده :
QA
76
.
6
.
M86
1985
1369. The Munich Project CIP
پدیدآورنده: by the CIP Language Group, F.L. Bauer ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، CIP-L )Computer program language(,، CIP-S )Computer system(
رده :
QA
76
.
L4
v
.
183
,
292
1370. <The> Professional Programmers Guide to C
پدیدآورنده: \ Pat McKay
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: C (Computer program language),Programming languages (Electronic computers),سی (زبان برنامه‌نویسی کامپیوتر),زبانهای برنامه‌نویسی کامپیوتر,a03,a04,a03,a04
رده :
E-Book
,
1371. The Programmer`s COBOL
پدیدآورنده: / by Robert Bemer,Berk
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: CoBol II ( Computer program language ),Electronic digital computers -- Programming
رده :
QA
76
.
5
.
B425
1372. The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984
پدیدآورنده: editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Problem solving - Data processing
رده :
QA
76
.
7
.
R65
1985
1373. The Sun Certified Java Developer exam with J2SE 1.
پدیدآورنده: / Mehran Habibi, Jeremy Patterson and Terry Camerlengo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing personnel--Certification,Sun computers--Programming--Examinations--Study guides,Java (Computer program language)
رده :
QA
,
76
.
3
,.
H33
,
2002b
1374. The Sun Certified Java Developer exam with J2SE 1.4
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing personnel ; Certification. ; Sun computers ; Programming ; Examinations ; Study guides. ; Java (Computer program language) ; Electronic data processing personnel ; Certification. ; fast ; (OCoLC)fst00907100 ; Java (Computer prog
1375. The Sun Certified Java Developer exam with J2SE 1.4 /
پدیدآورنده: Mehran Habibi, Jeremy Patterson and Terry Camerlengo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing personnel-- Certification.,Java (Computer program language),Sun computers-- Programming-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Java (Computer program language)
رده :
QA76
.
3
.
H33
2002b
1376. <The> Unix programming Environment
پدیدآورنده: / Brian W.Kernighan&Rob PiKe
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: UNIX(COmputer file),Electronic digital computers-Programming
رده :
001
.
6425
K39u
1377. The World of programming Languages
پدیدآورنده: Marcotty, Michael
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming Language (Electronic Computers)
رده :
005
.
M321w
1378. The anatomy of programming languages
پدیدآورنده: / Alice E. Fischer, Frances S. Grodzinsky
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
F57
1993
1379. The art of assembly languag
پدیدآورنده: / by Randall Hyde
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Assembler language (Computer program language),Programming languages (Electronic computers)
رده :
QA
,
76
.
73
,.
A8
,
H97
,
2003eb
1380. The art of assembly language
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Assembly languages (Electronic computers) ; Programming languages (Electronic computers) ;
